Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
131	Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent Willard Rafnsson Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Recently, much progress has been made on a Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-29 05:32:43 Universal algebra Mathematics Models of computation Logic Automata theory Model theory Structure
132	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
133	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
134	How To Play Almost Any Mental Game Over The Net — Concurrent Composition via Super-Polynomial Simulation Boaz Barak∗ Department of Computer Science Princeton University Princeton, New Jersey Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2011-10-10 23:49:36 Secure multi-party computation Zero-knowledge proof Standard model IP Random oracle Communications protocol Commitment scheme NP Transmission Control Protocol Cryptography Cryptographic protocols Secure two-party computation
135	Parallel Quantum Computation∗ Norman Margolus MIT Laboratory For Computer Science Cambridge MassachusettsJune 1989 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:05:59 Computer science Quantum information science Information theory Quantum computer Quantum cryptography Computation Reversible computing Cellular automaton Actor model Theoretical computer science Applied mathematics Models of computation
136	Logic and the Methodology of Science Autumn 2002 Preliminary Exam Draft August 23, Let ϕe be the eth partial recursive function in some standard enumeration, and let We be the domain of ϕe ). Show that there is Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Theory of computation Theoretical computer science Metalogic Model theory Recursively enumerable set Constructible universe Presentation of a group Ordinal number Ω-consistent theory Mathematics Mathematical logic Computability theory
137	Models of Computation Jeff Erickson January 4, 2015 http://www.cs.illinois.edu/~jeffe/teaching/algorithms/ Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2015-01-04 17:28:55 Theoretical computer science Constructible universe Model theory String Μ operator Function Mathematics Formal languages Combinatorics on words
138	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing
139	Approximate Bayesian computation for the parameters of PRISM programs James Cussens Department of Computer Science & York Centre for Complex Systems Analysis University of York Heslington, York, YO10 5DD, UK. . Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2010-08-26 11:15:09 Bayesian statistics Econometrics Expectation–maximization algorithm Missing data Maximum likelihood Confidence interval Gamma distribution Likelihood function Hidden Markov model Statistics Estimation theory Statistical theory
140	Can Simulation Models Support Social Research? A Critical Discussion. G. Rohwer Version 1 Add to Reading List Source URL: www.stat.ruhr-uni-bochum.de Language: English - Date: 2014-02-26 08:39:03 Cognition Mathematical modeling Models of computation Cellular automaton Agent-based model Scientific modelling Simulation Conceptual model Computer simulation Ethology Science Scientific modeling

UPDATE